1. Mechanical theorem proving in geometries :
Author: by Wen-tsün Wu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving.,Geometry -- Data processing.,Mathematics.
Classification :
QA448
.
D38
B994
1994
